Nuprl Definition : pi2
9,38
postcript
pdf
t
.2 == let
x
,
y
=
t
in
y
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
pi2
origin